Image from using the AbstractAlgebra package

Illustration of how 7 {0, 4} is the coset {3, 7} in Z_8.